Finite dimension vector spaces